On the use of a similarity function for test case selection in the context of model-based testing (2011)